Graph-based Logic and Sketches I: The General Framework
نویسنده
چکیده
Sketches as a method of specification of mathematical structures are an alternative to the string-based specification employed in mathematical logic. Sketch theory has been criticized as being lacunary when contrasted with logic because it apparently has nothing corresponding to proof theory. This article describes an approach to associating a proof-theoretic structure with a sketch. It is written in an innovative style using some of the ideas for presenting mathematics outlined in [Bagchi and Wells, 1993b].
منابع مشابه
Generalized Sketches: A Universal Logic for Diagrammatic Modeling in Software Engineering∗
Generalized sketches is a graph-based specification format that borrows its main ideas from both categorical and first-order logic, and adapts them to software engineering needs. In the engineering jargon, it is a modeling language design pattern that combines mathematical rigor and appealing graphical appearance. The paper presents a revised framework of basic concepts to make similarities wit...
متن کاملGraph-based Logic and Sketches
Graph-based Logic and Sketches Preliminary version: Please refer others to this website instead of giving them copies of this version.
متن کاملA Diagrammatic Logic for Object-Oriented Visual Modeling
Generalized sketches is a graph-based specification format that borrows its main ideas from both categorical and first-order logic, and adapts them to software engineering needs. In the engineering jargon, it is a modeling language design pattern that combines mathematical rigor and appealing graphical appearance. The paper presents a careful motivation and justification of the applicability of...
متن کاملContents 1 Introduction and motivating discussion 1 2 Graphs and Diagrams 4
Generalized sketches is a graph-based specification format that borrows its main ideas from both categorical and first-order logic, and adapts them to software engineering needs. In the engineering jargon, it is a modeling language design pattern that combines mathematical rigor and appealing graphical appearance. The paper presents a revised framework of basic concepts to make similarities wit...
متن کاملFrame Inform System Formalizing Graphical Schemas for Conceptual Modeling: Sketch-based Logic Vs.heuristic Pictures Formalization of Graphical Schemas: General Sketch-based Logic vs. Heuristic Pictures
In the paper a new approach to semantic modeling and view integration is proposed. The underlying data model is graph-based yet completely formalized so that graphical schemas themselves are precise speciications suitable for implementation. The formalism is a kind of graph-object-based generalization of the relational data model: analytical assertions about elements (values) are replaced by sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994